81. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
82. Theory of formal systems
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
83. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
84. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
248
.
5
.
R6
85. Theory of recursive functions & effective computability
پدیدآورنده : ROGERS,HARTLEY
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : RECURSIVE FUNCTIONS
رده :
QA
248
.
5
.
R6
86. معرفی بازگشتی نظریه محاسبات
پدیدآورنده : / تالیف کارل اسمیت,عنوان اصلی: A recursive introduction to the theory of computation, 1994.,اسمیت,Smith
کتابخانه: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
موضوع : برنامهنویسی,Computer programming,توابع بازگشتی,Recursive functions, -- دادهپردازی, -- Data processing,a01,a03,a03
رده :
QA
۷۶
/
۶
/
الف
۴۷
م
۶ ۱۳۹۴